# $Id: Makefile.in 1752 2005-12-07 08:25:01Z jerry $

MAKE=make

.PHONY: clean mrclean distclean boa docs

all:	boa

boa:
	(cd src && $(MAKE) $(MFLAGS))

docs:
	(cd docs && $(MAKE) $(MFLAGS))

clean:
	-(cd src && $(MAKE) $(MFLAGS) clean)
	-(cd docs && $(MAKE) clean)
	
distclean:	mrclean

mrclean:	clean
	-(cd src && $(MAKE) $(MFLAGS) mrclean)
	-(cd docs && $(MAKE)$(MFLAGS) mrclean)
	rm -f config.status config.cache config.h config.log 
	rm -f Makefile *~

# dummy target for install
install:
	@echo Please read the documentation then install manually.
